Биография Яна Лукасевича

Ян Леопольд Лукасевич родился 21 декабря 1878 г. во Львове[1] и был единственным ребенком в семье. Его отец, Павел Лукасевич, служил капитаном австрийской армии, а мать, Леопольдина, урожденная Холтзер, была дочерью австрийского служащего. Оба они принадлежали к римско-католической церкви. 8 июня 1897 г. Ян Лукасевич, сдав экзамены во II-ой гимназии родного города, получил аттестат зрелости и поступил здесь же в Университет имени Яна Казимира, намереваясь изучать юриспруденцию. Однако уже в начале летнего семестра 1897/1898 гг. он перешел на отделение философии. Этот шаг был сделан под влиянием личности Казимира Твардовского[2], лекции которого по философии слушали также юристы. Кроме того, в 1897 г. Лукасевич стал посещать организованный Твардовским философский кружок при студенческой библиотеке, в скором времени став секретарем кружка, а затем и его председателем. Позже он вспоминал: «Философский кружок был прекрасной школой мышления и оказывал большое влияние на молодежь. Благодаря кружку я перешел от юристов к философам и оказался учеником Твардовского»[3].

После окончания университета Лукасевич под руководством Твардовского принимается за написание докторской диссертации «Об индукции как инверсии дедукции. (Несколько замечаний по вопросу логического строения индуктивных выводов)». Затем, сдав т. н. ригорозум или экзамены по отдельным предметам, в качестве которых Лукасевич выбрал физику и математику, 16 ноября 1902 г. по указу императора Франца Иосифа I на торжественной церемонии он был поименован доктором философии.

Следует особо отметить увлечение Лукасевича математикой, которое возникло уже в студенческие годы, возможно, под влиянием профессора Юзефа Пузина[4], входившего вместе с Твардовским в состав комиссии по приему ригорозума. Об этом свидетельствует его работа на тему «Об учении Грассмана о протяженностях» (мат.)[5]. Докторская работа Лукасевича была напечатана в двух частях в журнале «Философское обозрение» за 1903 г. [17]. Этот журнал сыграл консолидирующую роль в жизни Львовско-Варшавской школы.

В 1901-1903 гг. Лукасевич работает домашним учителем в поместье Бильче под Тернополем. Здесь он принимается за перевод Д. Юма «Исследование о человеческом познании», но перевод продвигается медленно до тех пор, пока к нему не присоединяется Казимир Твардовский. Их совместная работа была опубликована в 1905 г.

Зимний семестр 1904/1905 гг. Лукасевич в качестве стипендиата Галицийского сейма проводит за границей в Берлине и Лувене, где благодаря рекомендательным письмам Твардовского он был тепло принят К. Штумпфом[6] и Ф. Шуманом[7]. По заведенному Твардовским обычаю стипендиаты посылали ему письменные отчеты неформального характера о имевших место встречах и дискуссиях. Так, в письме Лукасевича от 12 декабря 1904 г.[8] можно прочесть: «… я сказал г. Шмидкунцу[9], как понимаю и оцениваю “Школу Брентано”, к которой, впрочем, и сам опосредованно принадлежу. В частности, мне кажется, что характерной чертой этой школы является не столько психологизм (несмотря на психологию Vom empirischen Standpunkt)[10], сколько, пожалуй, формализм и априоризм и связанная с этим прекрасная дидактика, а также методика достойная великих мастеров философии XIII в., которая присуща ученикам и сторонникам этой школы»[11]. Содержание этого письма обеспокоило Твардовского, который воспитывал в своих учениках негативное отношение к априоризму и метафизике, о чем он и дал знать в письме от 2 февраля 1905 г. В ответ 6 февраля 1905 г. Лукасевич пишет: «Я очень хорошо знаю, что Господин Профессор, наверное, не разделяет моей позиции. Однако, продвигаясь в ином нежели Господин Профессор направлении, я очень хорошо чувствую, что и с этой точки зрения остаюсь учеником Господина Профессора. Ту заинтересованность схоластикой и Аристотелем, которую Господин Профессор своими лекциями по античной философии и схоластике сумел пробудить во мне, та определенная симпатия и признание, с каковыми Господин Профессор всегда выражался о схоластиках, различные места в работах Господина Профессора (напр. в Zur Lehre[12]) и, прежде всего, тот несомненно схоластический момент в рассуждениях и дискуссиях, благодаря которым я прошел логическую школу – все это смогло привести к тому, что ‹…› во мне произошла переориентация философских взглядов, возникновение которой все же можно объяснить генетически. Недаром Брентано был доминиканцем и писал монографию об Аристотеле. ‹…› Мне кажется, что настоящая философия лежит в направлении Аристотеля и схоластов»[13]. Одновременно Лукасевич, возможно, чтобы успокоить Твардовского, оговаривается, что хотя он действительно хочет воскресить метафизические взгляды схоластов, а значит, «из исторических ‹…› сделать их актуальными», но все же не занимает ни церковной, ни клерикальной позиции.

После возвращения во Львов Лукасевич работает в университетской библиотеке, продолжая одновременно трудиться над габилитацией, начатой еще за границей.

В 1906 г. Лукасевич на основании работы «Анализ и конструкция понятия причины» [18][14], получает габилитацию[15], утвержденную в Вене 6 октября 1906 г. и становится приват-доцентом Львовского университета. В 1907–1908 гг. он преподает алгебру отношений и проводит семинарские занятия. Это были первые в Польше занятия, посвященные сугубо математической логике[16].

В 1908–1909 гг. как стипендиат Польской Академии Знаний Лукасевич находился в Граце, принимая участие в семинарах Алексиуса Мейнонга и дискутируя с ним по поводу критерия очевидности предмета суждения и понятия “объектив”, введенного австрийским философом. Заметим, что после возвращения Лукасевич некоторое время переписывался с Мейнонгом.

В 1910 г. выходит в свет монография Лукасевича «О принципе противоречия у Аристотеля. Критическое исследование» [5] – наиболее значимое произведение философского периода. Эта книга принесла Лукасевичу известность и сделала его влиятельным философом в окружающей интеллектуальной среде. Тем не менее, никто тогда не мог предположить, и в особенности сам Лукасевич, что через сто лет эта книга будет переводиться на основные европейские языки.

Активное участие принимал Лукасевич в работе Польского Философского Общества во Львове будучи секретарем первой секции (логики и эпистемологии). На юбилейном сотом заседании Философского общества 4 октября 1910 г., где отмечались заслуги его основателя Твардовского, Лукасевич выступил с докладом «О логических оценках».

В 1911 г. Лукасевич получил должность экстраординарного профессора Львовского университета, а в 1915 г. его пригласили занять кафедру философского отделения Варшавского университета, который был заново открыт после ухода в августе русских войск из Варшавы (тогда же было возвращено преподавание на польском языке). Именно здесь 7 марта 1918 г. в зале Варшавского университета в своей прощальной лекции [6] Лукасевич объявил о создании им в 1917 г. системы трехзначной логики (опубликована в 1920 г. [7]). Так было положено начало развитию многозначных логик, одному из самых интересных направлений в неклассических логиках. Как отмечает Ян Воленьский: «Построение многозначных логических систем принято считать одним из важнейших достижений Варшавской школы и конкретно – Лукасевича» [1: 143].

В 1918–1919 гг. Лукасевич вынужденно прервал свою работу в Варшавском университете и перешел на службу в Министерство вероисповеданий и общественного образования, где в 1919 г. занял пост министра в правительстве И. Падеревского.

В 1920 г. он вернулся в университет уже на кафедру философии Естественно-Математического отделения и работал там до 1939 г. Вот что пишет К. Куратовский (1973 г.) о начальных этапах педагогической деятельности Лукасевича: «Еще одним профессором, который оказал большое влияние на интересы молодых математиков, был Ян Лукасевич. Помимо лекций по логике и истории философии, профессор Лукасевич читал более специальные курсы, которые проливали новый свет на методологию дедуктивных наук и основания математической логики. Хотя Лукасевич не был математиком, однако он имел исключительно острое математическое чутье, благодаря чему его лекции находили особенно сильный отклик у математиков» (цит. по [1: 26-27]).

Дважды, в 1922–1923 и 1931–1932 гг. Лукасевич избирался ректором Варшавского университета. В 1923 г. он был награжден Орденом Полония Реститута II степени, а в мае 1924 г. президент Польши пожаловал ему звание почетного профессора философии Варшавского университета.

В конце 1923 г. Лукасевича по его просьбе освободили от профессуры в Варшавском университете. Вернулся он только летом 1929 г. и в качестве профессора Естественно-Математического отделения стал читать лекции по математической логике. В этом же году вышла его книга «Элементы математической логики» [19]. Стоит подчеркнуть, что Я. Лукасевич вместе с С. Лесневским основали Варшавскую школу логиков, мировую известность которой принес их ученик Альфред Тарский. В 1937 г. Лукасевич стал членом Польской Академии Знаний.

В 1928 г. Лукасевич женился на Регине Барвинской. Впоследствии в предисловии к своей последней книге он посвятил ей следующие строки: «В целом свою работу я посвящаю моей любимой жене Регине Лукасевич (урожденной Барвинской), которая принесла себя в жертву, чтобы я мог жить и работать» [11: 30].

Во время II мировой войны Лукасевич работал в магистрате, принимал участие в работе подпольного университета. В июле 1944 г. при поддержке ксендза Яна Саламухи, Болеслава Собецкого и Генриха Шольца Лукасевич оставил Варшаву и жил нелегально у Шольца в Мюнстере (Вестфалия) до прихода союзных армий. Не желая принимать новую политическую систему, установленную в Польше, в 1946 г. Лукасевич уехал в Брюссель, где получил приглашение возглавить кафедру математической логики в Королевской Ирландской Академии в Дублине. Он преподавал в университетском колледже в Дублине, в королевском университете Белфаста и в университете Манчестера.

В г. Дублине 13 февраля 1956 г. Ян Леопольд Лукасевич скончался от сердечного приступа.

* * *

В ректорской речи, произнесенной на торжественном открытии 1922-23 учебного года в Варшавском университете, Лукасевич объявил следующую программу действий: «Философию нужно перестроить, начиная с оснований, вдохнуть в нее научный метод и подкрепить ее новой логикой» [8: 217]. А в 1928 г. он заявил: «Одной из причин ненаучности философии, как кажется, является пренебрежение современными философами логикой» [9: 263]. Целью самих философских логических исследований Лукасевич считал прежде всего разработку точных методов анализа философских понятий и рассуждений. Именно такие методы призваны обеспечить конструктивность и однозначность понятий, которыми оперирует философия, тем самым сближая философию с наукой. В основании философии может быть положена «научная метафизика» или общая теория предметов, но не эпистемология в духе Р. Декарта или И. Канта, ибо такой путь, по мнению Лукасевича, ведёт в тупик. Выход из тупика – в применении логической методологии, позволяющей свести к минимуму число исходных философских понятий, обладающих очевидностью и интуитивной ясностью, чтобы затем через них строго определять философские понятия «пространственно-временной структуры мира», «причинности», «детерминизма», «индетерминизма» и др. Таким образом, логика дает методологический образец для философии, в частности, дедуктивно-аксиоматический метод. Этому посвящена статья Лукасевича 1936 г. «Логистика и философия» [10]. Он весьма скептически относился к попыткам построения всеобъемлющих философских систем. Критикуя психологизм[17] и априоризм в логике, Лукасевич выдвигает идею логического плюрализма: различные логические системы способны эксплицировать различные онтологические теории. Например, классическая двузначная логика эксплицирует принцип «жёсткого» детерминизма в философском и научном мышлении, тогда как переход к многозначным логикам позволяет проводить корректные «индетерминистские» рассуждения.

Основные результаты Лукасевича лежат в области математической логики. Ему принадлежат элегантные аксиоматизации классической пропозициональной логики посредством трех аксиом (см., например, [20])[18], им найдена наиболее короткая аксиома для аксиоматизации импликативного фрагмента классической логики, дана аксиоматизация эквациональной логики, впервые представлена аксиоматизация трехзначной логики Гейтинга (первая матрица Яськовского). В 1953 г. им построена оригинальная четырехзначная модальная логика, вызывающая интерес по сей день (см. [15]). Лукасевич первым ввел понятие отбрасывания невыводимых высказываний, сформулировав соответствующие аксиомы и само правило отбрасывания, а позднее применил это в исследованиях по силлогистике Аристотеля. Используя современную логическую технику, Лукасевич реконструировал идеи античной и средневековой логики, что привело к переоценке и переосмыслению этого наследия. Он открыл, что уже ранние стоики явились создателями логики высказываний, но особенно важной оказалась книга Лукасевича об аристотелевской силлогистике, теория которой была подвергнута реконструкции и формализации [11] (первый вариант книги издан в 1951 г.)

Однако главной задачей, которой Лукасевич посвятил всю свою жизнь, стала «борьба за освобождение человеческого духа» [6], причем, значительная роль в этом отводилась созданию новой логики. Всемирную известность принесло Лукасевичу построение первой системы многозначной логики в 1920 г., ее обобщение на произвольный конечнозначный случай в 1922/1923 гг. и в итоге построение в 1929 г. бесконечнозначной логики (см. подробно об этом в [3]). В 1930 г. Лукасевич совместно с А. Тарским [20][19] подвел итоги исследованию многозначных логик в Львовско-Варшавской школе.

Многозначные логики Лукасевича получили исключительное развитие в силу их необычайных свойств. Сошлемся только на книгу [23], где логики Лукасевича исследуются как пропозициональные исчисления; на книгу [14] (см. также [21]), где исследуются алгебраические свойства бесконечнозначной логики Лукасевича, начиная с исходных MV-алгебр Чэна и их непосредственной связи с функциональным анализом (AF C*-алгебры), с теорией кодирования, с квантовой физикой, с геометрией. Также была доказана эквивалентность MV-алгебр с другими важными алгебраическими структурами; на книгу [2], где исследуются алгебро-функциональные свойства конечнозначных логик Лукасевича, которые неожиданным образом оказались связанными со свойствами простых чисел (теорема В.К. Финна). Следствия этого открытия оказались совсем неожиданными: структурализация простых чисел в виде корневых деревьев; построение такой логики Kn+1, которая имеет класс тавтологий т.т.т., когда n есть простое число; штрих Шеффера для простых чисел; алгоритм порождения классов простых чисел.

Наконец, начиная с 1929 г., а сама идея пришла в 1924 г., Лукасевич использует бесскобочную запись формул (см. [11: 128]), которая по национальности Лукасевича стала называться польской системой записи формул, также известной как префиксная нотация (запись). Характерная черта такой записи – оператор располагается слева от операндов. Такую запись формул оценил А. Чёрч (см. [13]; примечание 91 на c. 41), а на ее важность для информатики обратил внимание А. Тьюринг, который встречался с Лукасевичем в 1949 г. В языках программирования особое применение получила обратная польская нотация (RPN, англ. Reverse Polish Notation) – такая форма записи математических выражений, в которой операнды расположены перед знаками операторов. Подобная запись лежит в основе идеи рекурсивного стека – специальной структуры для хранения данных в памяти компьютера. Она была предложена сразу несколькими исследователями, включая А. Тьюринга, Ф. Бауэра, Ч. Хэмблина и впервые реализована Хэмблином в 1957 г. В 1960 г. на базе рекурсивного стека компанией English Electric Company был создан компьютер KDF9, а корпорацией Burroughs – компьютер Burroughs B5000. Эти же идеи были использованы компанией Frieden в настольном калькуляторе EC-130, в калькуляторах компании Hewlett Packard, языке программирования Forth, языке описания страниц PostScript. В СССР на основе рекурсивного стека был создан инженерный калькулятор Б3-19М., выпущенный в 1976 г. В настоящее время такую же организацию имеет память программируемых калькуляторов «Электроника МК-152» и «ЭЛЕКТРОНИКА МК-161».

В 2008 г. Польское Общество Информационных Процессов установило премию имени Яна Лукасевича для наиболее инновационных польских информационно-технологических компаний.

Загрузка...